1. The classical decision problem
پدیدآورنده: / Egon Borger, Erich Gradel, Yuri Gurevich
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Decidability (Mathematical logic)
رده :
QA
9
.
65
.
B64
1997


2. The classical decision problem /
پدیدآورنده: Egon Börger, Erich Grädel, Yuri Gurevich
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Decidability (Mathematical logic)
رده :
QA9
.
65
.
B64
1997

